SUBDIRS=$(filter-out Makefile, $(wildcard *))
include ../../../include/kframework/ktest-group.mak
